The Topological Theory of Belief

Stalnaker introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept which captures the ‘epistemic possibility of knowledge’. In this paper we first provide the most general extensional semantics for this concept of ‘strong belief’, which validates the principles of Stalnaker’s epistemic-doxastic logic. We show that this general extensional semantics is a topological semantics, based on so-called extremally disconnected topological spaces. It extends the standard topological interpretation of knowledge (as the interior operator) with a new topological semantics for belief. Formally, our belief modality is interpreted as the ‘closure of the interior’. We further prove that in this semantics the logic KD45 is sound and complete with respect to the class of extremally disconnected spaces and we compare our approach to a different topological setting in which belief is interpreted in terms of the derived set operator. In the second part of the paper we study (static) belief revision as well as belief dynamics by providing a topological semantics for conditional belief and belief update modalities, respectively. Our investigation of dynamic belief change, is based on hereditarily extremally disconnected spaces. The logic of belief KD45 is sound and complete with respect to the class of hereditarily extremally disconnected spaces (under our proposed semantics), while the logic of knowledge is required to be S4.3. Finally, we provide a complete axiomatization of the logic of conditional belief and knowledge, as well as a complete axiomatization of the corresponding dynamic logic.